Surveys the ideals of friendship in ancient Greco-Roman philosophy. The notion of the best friendship inevitably reflects the various conceptions of a good life.

The Platonic dialogues contain passages that seem to point in quite opposite directions on the question of the moral equality of women with men. Rep. V defends the view that sexual difference need not be relevant to a person’s capacity for philosophy and thus for virtue. Tim. 42a-c, however, makes incarnation in a female body a punishment for failure to master the challenges of embodiment. This paper examines the different ways in which two subsequent Platonists, Proclus (d. 485 CE) and (...) Theodore of Asine (d. c. 360 CE), dealt with this tension. (shrink)

Later versions of Platonic ethics fit the frame of eudaimonism and specify a telos based on Theaetetus 176B and Timaeus 90A-D: 'likeness to god in so far as possible'. This paper examines the development of this idea from the middle Platonist Alcinous to the Neoplatonist Proclus. It examines the way in which Proclus makes this specification of human happiness a bit less "other worldy".

Plato's Tim. 90b1-c6 describes a pathway to the soul's salvation via the study of the heavens. This paper poses three questions about this theme in Platonism: 1. The epistemological question: How is the paradigmatic function of the visible heavenly bodies to be reconciled with various Platonic misgivings about the faculty of perception? 2. The metaphysical question: How can »assimilation« to the motions of bodies in the realm of Becoming provide for the salvation of souls when souls are »higher«- a mid-point (...) between Being and Becoming? 3. The psychological question: What can it mean for an incorporeal soul to utilise the motions of a body for an ethical and cognitive paradigm? And provides an account of how Proclus and some of his fellow Neoplatonists answered these questions. (shrink)

Translation and commentary on the only surviving sustained work on Plato's Phaedrus from antiquity.

In his commentary on Aristotle's Metaphysics, Alexander of Aphrodisias quotes from Aristotle's now-lost work On the Ideas -- his account of the arguments offered by Plato for the theory of Forms and his criticisms of those arguments. This paper considers one of these arguments, the Argument from Relatives (ta pros ti). It considers how Plato argued for Forms or Ideas such as the Large Itself, the Just Itself and so on and whether Plato supposed that there were Forms corresponding to (...) sortal terms like Man. (shrink)

The idea that there is a coherent and morally relevant concept of sexual perversions has been increasingly called into question. In what follows, I will be concerned with two recent attacks on the notion of sexual perversion: those of Graham Priest and Igor Primoratz. Priest’s paper is the deeper of the two. Primoratz goes methodically through various accounts of sexual perversion and finds difficulties in them. This is no small task, of course, but unlike Priest he does not attempt to (...) provide any diagnosis of why any attempt to analyse the concept of sexual perversion must fail. Priest argues that sexual perversion is an “inapplicable concept”: the presuppositions that would allow us to make sense of the notion have been rightly rejected. Without the theoretical backdrop of an Aristotelian moral teleology, we cannot provide a satisfactory account of sexual perversion, for only such a teleological world-view allows us to give some sense to the idea that a sexual practice might be morally wrong because it is unnatural. Priest surveys accounts of perversion that don’t appeal to any idea of unnaturalness and rejects them—rightly I believe. But, Priest argues, Aristotle’s own moral teleology is part and parcel of his wider views about purpose in nature. This natural teleology has been shown to be explanatorily superfluous. Though some sciences still talk of functions, this can be understood in terms of contributions to evolutionary survival. Though there is considerable disagreement about the details of the right account of function, all versions of this scientifically respectable teleology are morally neutral: it would not follow from the fact that homosexual intercourse does nothing to propagate the agents’ genetic material to future generations that it is therefore morally wrong. Here too I think Priest is right. He also considers what he calls “Aristotelian revivalism” in Roger Scruton’s account of sexual perversion. I think Priest sells Aristotelianism short. I have no interest in defending Scruton’s own understanding of the Aristotelian moral framework nor his particular account of sexual perversion. I shall, however, argue that Aristotelian moral philosophy provides a more useful framework for thinking about these issues than Priest implies, and attempt to defend an account of sexual perversion within the context of this framework. (shrink)

Plato’s Phaedrus is a dialogue of journeys, a tale of transitions. It begins with Socrates’ question, ‘Where to and from whence, my dear Phaedrus?’ and concludes with the Socrates’ decision, ‘Let’s go’ (sc. back into the city from whence they’ve come). In the speech that forms its centre-piece Socrates narrates another famous journey—the descent of the soul into the body and its reascent to the realm of Forms through erotic madness. It is not too implausible to suppose that Plato himself (...) saw fit to relate his powerful images of the human soul’s fall and re-ascent by dramatic means that highlight the movement from one place to another. This explains how Hermias of Alexandria -- author of the longest sustained work on the Phaedrus to survive from antiquity related the physical journey to the Ilissus to the soul's descent and ascent. This seemingly implausible allegorising gains a certain kind of sense when we consider that the Neoplatonic commentary tradition formed part of a philosophic way of life with an ethical telos. (shrink)

It is widely supposed that Epicurus' identification of aponia (painlessness) and the absence of anxiety (ataraxia) yields as a consequence the claim that the most pleasant life is one that requires little in the way of resources or power. This paper argues that the remarks in Cicero which attempt to reconstruct Epicurus' reasons for thinking that aponia and ataraxia are the limit of pleasure are best interpreted if we suppose that the inference runs the other direction. Epicurus supposed that it (...) was a pre-theoretical constraint on any account of human happiness that it should be natural. Moreover, its naturalness means its in-principle availability to most humans. (shrink)

‘Know-that’, like so many natural language expressions, exhibits patterns of use that provide evidence for its context-sensitivity. A popular family of views – call it prag- matic invariantism – attempts to explain the shifty patterns by appeal to a pragmatic thesis: while the semantic meaning of ‘know-that’ is stable across all contexts of use, sentences of the form ‘S knows [doesn’t know] that p’ can be used to communicate a pragmatic content that depends on the context of use. In this (...) paper, the author argues that pragmatic invariantism makes inaccurate predictions for a wide range of well- known use data and is committed to attributing systematic pragmatic error to ordinary speakers. But pragmatic error is unprecedented, and it is doubtful that speakers are systematically wrong about what they intend to communicate. (shrink)

In previous chapters, it has become clear that Proclus’ metaphysics is often relevant to human life. In this chapter, that relation is elaborated on in detail, starting from the notion of a ‘textual community’. In the first section, the author presents the Neoplatonic goal of human life, assimilation to the divine. In the second section, he elaborates the scale of virtues through which, according to Proclus, one may reach that assimilation. The third section is devoted to establishing the interesting hypothesis (...) that the philosophical curriculum was in fact considered a mystagogy, aimed at internalizing semantic associations and thereby acquiring the different virtues. In the last section the author turns to Proclus’ political philosophy, and specifically the analogical relation between the philosopher-ruler and the demiurge. (shrink)

In Plato’s dialogues we often find Socrates talking at length about poetry. Sometimes he proposes censorship of certain works because what they say is false or harmful. Other times we find him interpreting the poets or rejecting potential interpretations of them. This raises the question of whether there is any consistent account to be given of Socrates’ practice as a literary critic. One might think that Plato himself in the Ion answers the question that I have raised. Rhapsody, at least (...) in the Ion , is portrayed as the activity of interpreting and evaluating the works of the poets. At first glance at least, Plato seems to conclude that this activity cannot meet the standards of a τέχνη. Rhapsodes are divine madmen. Thus, there cannot be a systematic Platonic account of literary criticism because this activity is inherently irrational and, subsequently, not something that one could engage in in a systematic way, guided by a theory of any sort. In the first part of the paper I argue that the Ion does not simply consign the Interpretation of poetry to the irrational and, as a result, does not pose an obstacle to the possibility of a Platonic literary criticism. In the second part of the paper I turn to the task of finding an account of the purpose of reading poetry and strategies for fulfilling this purpose that make systematic sense of Socrates’ multifarious remarks about poetry. (shrink)

In this paper we look at two kinds of relations that give rise to reasons for action of a distinctive sort: friendship and erotic love. We argue that what is common to these different relations of affection is that the people in them exhibit dispositions toward mutual direction by one another and interpretation of one another (in a sense that we describe in detail below). This mutual responsiveness is, in part, a matter of responding to reasons that arise from the (...) relation of love or friendship. These reasons are frequently distinct from – and may be opposed to – normative reasons arising from prudence or even morality. Yet reasons of love are normative: they too may obligate us. They may make demands on us that conflict with our present desires and require considerable sacrifice. (shrink)

It is an axiom of late neoplatonic metaphysics that all things are in all, but in each in an appropriate manner (ὀικείως, ET 103). These manners or modes of being are indicated by adverbial forms such as παραδειματικῶς or εἰκονικῶς. Thus, for example, the Forms are in the World Soul in the mode of images, while the objects in the sensible realm below Soul are in it in the manner of paradigms (in Tim. II 150.27). Among the many modes of (...) being distinguished by Proclus we find existence ὁλικῶς and μερικῶς – in the manner of a whole and in the manner of a part. This paper investigates the nature and significance of these mereological modes of being. (shrink)

In the present volume Proclus describes the 'creation' of the soul that animates the entire universe. This is not a literal creation, for Proclus argues that Plato means only to convey the eternal dependence of the World Soul upon higher causes. In his exegesis of Plato's text, Proclus addresses a range of issues in Pythagorean harmonic theory, as well as questions about the way in which the World Soul knows both forms and the visible reality that comprises its body. This (...) part of Proclus' Commentary is particularly responsive to the interpretive tradition that precedes it. As a result, this volume is especially significant for the study of the Platonic tradition from the earliest commentators onwards. (shrink)

The commentary on Plato's Republic by Proclus (d. 485 CE), which takes the form of a series of essays, is the only sustained treatment of the dialogue to survive from antiquity. This three-volume edition presents the first complete English translation of Proclus' text, together with a general introduction that argues for the unity of Proclus' Commentary and orients the reader to the use which the Neoplatonists made of Plato's Republic in their educational program. Each volume is completed by a Greek (...) word index and an English-Greek glossary that will help non-specialists to track the occurrence of key terms throughout the translated text. The second volume of the edition presents Proclus' essays on the tripartite soul and the virtues, female philosopher rulers, and the metaphysics and epistemology of the central books of the Republic. The longest of the essays in Volume II interprets the nature and significance of the 'marriage number' whose miscalculation leads to the degeneration of the ideal city-state. (shrink)

In the present volume Proclus comments on the creation of the body of the universe in Plato's Timaeus.

Covers Essays 1 to 6 in Proclus' Commentary and includes a general introduction to the work as a whole.

Lengthy review of the 2020 Brill Companion to Hellenistic Astronomy with special reference to Neoplatonism.

How should we account for the contextual variability of knowledge claims? Many philosophers favour an invariantist account on which such contextual variability is due entirely to pragmatic factors, leaving no interesting context-sensitivity in the semantic meaning of ‘know that.’ I reject this invariantist division of labor by arguing that pragmatic invariantists have no principled account of embedded occurrences of ‘S knows/doesn’t know that p’: Occurrences embedded within larger linguistic constructions such as conditional sentences, attitude verbs, expressions of probability, comparatives, and (...) many others, I argue, give rise to a threefold problem of embedded implicatures. (shrink)

Proclus' commentary on Plato's dialogue Timaeus is arguably the most important commentary on a text of Plato, offering unparalleled insights into eight centuries of Platonic interpretation. It has had an enormous influence on subsequent Plato scholarship. This edition offers the first new English translation of the work for nearly two centuries, building on significant recent advances in scholarship on Neoplatonic commentators. It provides an invaluable record of early interpretations of Plato's dialogue, while also presenting Proclus' own views on the meaning (...) and significance of Platonic philosophy. The present volume, the fifth in the edition, presents Proclus' commentary on the Timaeus, dealing with Proclus' account of static and flowing time; we see Proclus situating Plato's account of the motions of the stars and planets in relation to the astronomical theories of his day. The volume includes a substantial introduction, as well as notes that will shed new light on the text. (shrink)

The author puts forward and defends a new argument for indirect realism called the argument from pain. The argument is akin to a well-known traditional argument to the same end, the argument from hallucination. Like the latter, it contains one premise stating an analogy between veridical perceptions and certain other states and one premise stating that those states are states of acquaintance with sense-data. The crucial difference is that the states that are said to be analogous to veridical perceptions are (...) pain-states instead of hallucinations. This difference makes the argument from pain immune to the standard objections against the argument from hallucination. (shrink)

The purpose of this paper is to reconstruct Frege’s argument against the relativity of truth contained in his posthumous writing Logic from 1897. Two points are made. The first is that the argument is a performative version of the common objection that truth relativism is incoherent: it is designed to show that the assertion of the relativity of truth involves a performative incoherence, because the absoluteness of truth is a success condition for making assertions. From a modern point of view, (...) the central premise of the argument, that the successful making of assertions depends on the absoluteness of truth, is highly doubtful. The second point is that this premise can be made plausible within the framework of Frege’s conception of truth and assertion: it can be derived from his thesis that, in order to put something forward as true, we do not need the word ‘true’, but only the assertoric force. (shrink)

Review of J.B. Kennedy The Musical Structure of Plato's Dialogues (Acumen, 2011).

Vehicle externalism maintains that the vehicles of our mental representations can be located outside of the head, that is, they need not be instantiated by neurons located inside the brain of the cogniser. But some disagree, insisting that ‘non-derived’, or ‘original’, content is the mark of the cognitive and that only biologically instantiated representational vehicles can have non-derived content, while the contents of all extra-neural representational vehicles are derived and thus lie outside the scope of the cognitive. In this paper (...) we develop one aspect of Menary’s vehicle externalist theory of cognitive integration—the process of enculturation—to respond to this longstanding objection. We offer examples of how expert mathematicians introduce new symbols to represent new mathematical possibilities that are not yet understood, and we argue that these new symbols have genuine non-derived content, that is, content that is not dependent on an act of interpretation by a cognitive agent and that does not derive from conventional associations, as many linguistic representations do. (shrink)

This paper elaborates on relationalism about space and time as motivated by a minimalist ontology of the physical world: there are only matter points that are individuated by the distance relations among them, with these relations changing. We assess two strategies to combine this ontology with physics, using classical mechanics as example: the Humean strategy adopts the standard, non-relationalist physical theories as they stand and interprets their formal apparatus as the means of bookkeeping of the change of the distance relations (...) instead of committing us to additional elements of the ontology. The alternative theory strategy seeks to combine the relationalist ontology with a relationalist physical theory that reproduces the predictions of the standard theory in the domain where these are empirically tested. We show that, as things stand, this strategy cannot be accomplished without compromising a minimalist relationalist ontology. (shrink)

In their recent paper on “Challenges in mathematical cognition”, Alcock and colleagues (Alcock et al. [2016]. Challenges in mathematical cognition: A collaboratively-derived research agenda. Journal of Numerical Cognition, 2, 20-41) defined a research agenda through 26 specific research questions. An important dimension of mathematical cognition almost completely absent from their discussion is the cultural constitution of mathematical cognition. Spanning work from a broad range of disciplines – including anthropology, archaeology, cognitive science, history of science, linguistics, philosophy, and psychology – we (...) argue that for any research agenda on mathematical cognition the cultural dimension is indispensable, and we propose a set of exemplary research questions related to it. (shrink)

Jill de Villiers has argued that children's mastery of sentential complements plays a crucial role in enabling them to succeed at false-belief tasks. Josef Perner has disputed that and has argued that mastery of false-belief tasks requires an understanding of the multiplicity of perspectives. This paper attempts to resolve the debate by explicating attributions of desires and beliefs as extensions of the linguistic practices of making commands and assertions, respectively. In terms of these linguistic practices one can explain why desire-talk (...) will precede belief-talk and why even older children will have difficulty attributing incompatible desires. (shrink)

In an earlier issue, I argue (2014) that psychology and epistemology should distinguish religious credence from factual belief. These are distinct cognitive attitudes. Levy (2017) rejects this distinction, arguing that both religious and factual “beliefs” are subject to “shifting” on the basis of fluency and “intuitiveness.” Levy’s theory, however, (1) is out of keeping with much research in cognitive science of religion and (2) misrepresents the notion of factual belief employed in my theory. So his claims don’t undermine my distinction. (...) I conclude by suggesting some approaches to empirically testing our views. (shrink)

Epistemic Contextualism is the view that “knows that” is semantically context-sensitive and that properly accommodating this fact into our philosophical theory promises to solve various puzzles concerning knowledge. Yet Epistemic Contextualism faces a big—some would say fatal—problem: The Semantic Error Problem. In its prominent form, this runs thus: speakers just don’t seem to recognise that “knows that” is context-sensitive; so, if “knows that” really is context-sensitive then such speakers are systematically in error about what is said by, or how to (...) evaluate, ordinary uses of “S knows that p”; but since it's wildly implausible that ordinary speakers should exhibit such systematic error, the expression “knows that” isn't context-sensitive. We are interested in whether, and in what ways, there is such semantic error; if there is such error, how it arises and is made manifest; and, again, if there is such error to what extent it is a problem for Epistemic Contextualism. The upshot is that some forms of The Semantic Error Problem turn out to be largely unproblematic. Those that remain troublesome have analogue error problems for various competitor conceptions of knowledge. So, if error is any sort of problem, then there is a problem for every extant competitor view. (shrink)

I raise the question of what cognitive attitude self-deception brings about. That is: what is the product of self-deception? Robert Audi and Georges Rey have argued that self-deception does not bring about belief in the usual sense, but rather “avowal” or “avowed belief.” That means a tendency to affirm verbally (both privately and publicly) that lacks normal belief-like connections to non-verbal actions. I contest their view by discussing cases in which the product of self-deception is implicated in action in a (...) way that exemplifies the motivational role of belief. Furthermore, by applying independent criteria of what it is for a mental state to be a belief, I defend the more intuitive view that being self-deceived that p entails believing that p. Beliefs (i) are the default for action relative to other cognitive attitudes (such as imagining and hypothesis) and (ii) have cognitive governance over the other cognitive attitudes. I explicate these two relations and argue that they obtain for the product of self-deception. (shrink)

Surprisingly little has been written about hedged assertion. Linguists often focus on semantic or syntactic theorizing about, for example, grammatical evidentials or epistemic modals, but pay far less attention to what hedging does at the level of action. By contrast, philosophers have focused extensively on normative issues regarding what epistemic position is required for proper assertion, yet they have almost exclusively considered unqualified declaratives. This essay considers the linguistic and normative issues side-by-side. We aim to bring some order and clarity (...) to thinking about hedging, so as to illuminate aspects of interest to both linguists and philosophers. In particular, we consider three broad questions. 1) The structural question: when one hedges, what is the speaker’s commitment weakened from? 2) The functional question: what is the best way to understand how a hedge weakens? And 3) the taxonomic question: are hedged assertions genuine assertions, another speech act, or what? (shrink)

Virtue ethics has now well and truly established itself as one of the main normative theories. It is now quite common, and indeed, expected, for virtue ethics to be included, alongside deontology and consequentialism, in any Moral Philosophy syllabus worth its salt. Students are typically introduced to virtue ethics only after studying the other two normative theories, and this often sets the scene for various sorts of misunderstandings, with students expecting virtue ethics to be based on the same set of (...) rules and assumptions as its rivals. Or at least, that is my experience. In this paper I want to focus on one such misunderstanding, which arises when trying to apply virtue ethics to our judgments of other people’s actions and behaviour. Although there are countless ways in which a theory can be misunderstood, it is worth guarding against this one in particular, given that it can lead someone who takes virtue ethics seriously to act in ways that are not virtuous, or even vicious. I begin by making a few remarks about the role of normative theory, and then go on to give four examples of how applying virtue ethics can lead to poor behaviour. In the final section I identify the mistake in question and conclude by noting how it can be avoided. (shrink)

Gegen die verbreitete Vorstellung, dass Negativität im Interesse von mehr Selbstverwirklichung, Produktivität und Positivität überwunden oder be-grenzt werden muss, eröffnet dieser Band eine andere Perspektive. Er geht den verschiedenen Formen des Negativen in Kunst, Recht und Politik nach, um zu zeigen, dass es nicht allein eine Negativität gibt, die dem Gelingen im Weg steht oder zu dessen sicher beherrschtem Mittel wird. Die Beiträge des Bandes erweisen Negativität vielmehr als eine Kraft der Befreiung, die ein Gelingen anderer Art ermöglicht.

In the Phaedrus, Socrates insists that every proper logos must have the unity of an organic living thing. And yet it is hard to say what imposes any such unity on the various speeches and topics that are dealt with in this very dialogue. This chapter situates the view of Hermias of Alexandria in relation to modern debates about what, if anything, unifies the Phaedrus. For the ancient Neoplatonists, the question of unity was bound up with the question of each (...) dialogue's "skopos". We argue that Hermias' answer to this question -- that the skopos of the Phaedrus is 'beauty at every level' -- is not as wildly implausible as Neoplatonic readings of Plato's dialogues are often thought to be. (shrink)

Die biomedizinische Forschung hat ein Kommunikationsproblem. Um die Ergebnisse ihrer Arbeit darzustellen, greifen einzelne Forschergruppen auf unterschiedliche und oft inkompatible Terminologien zurück. Für den Fortschritt der modernen Biomedizin ist die Integration dieser Ergebnisse jedoch unabdingbar.

In medical settings, machines are in close proximity with human beings: with patients who are in vulnerable states of health, who have disabilities of various kinds, with the very young or very old, and with medical professionals. Machines in these contexts are undertaking important medical tasks that require emotional sensitivity, knowledge of medical codes, human dignity, and privacy. -/- As machine technology advances, ethical concerns become more urgent: should medical machines be programmed to follow a code of medical ethics? What (...) theory or theories should constrain medical machine conduct? What design features are required? Should machines share responsibility with humans for the ethical consequences of medical actions? How ought clinical relationships involving machines to be modeled? Is a capacity for empathy and emotion detection necessary? What about consciousness? -/- The essays in this collection by researchers from both humanities and science describe various theoretical and experimental approaches to adding medical ethics to a machine, what design features are necessary in order to achieve this, philosophical and practical questions concerning justice, rights, decision-making and responsibility, and accurately modeling essential physician-machine-patient relationships. -/- This collection is the first book to address these 21st-century concerns. (shrink)

Lengthy critical notice of J. B. Kennedy, The Musical Structure of Plato's Dialogues (Acumen, 2011). -/- We approached the prospect of reviewing Kennedy’s book with excitement and optimism, but we’ve left rather disappointed. The case doesn’t hang together, we think, because it requires us to suppose that Plato composed to a pattern that his readers wouldn’t be looking for. They wouldn’t be looking for it musically, because it is not musically significant. Moreover, if he expected them to be looking for (...) such a pattern in the stichometry, then the evidence available to us suggests that his expectations went wholly unfulfilled. Plato may have been a perverse writer in many ways – for instance, by disparaging philosophical writing in a philosophical text – but we think Kennedy’s hypothesis requires us to attribute a touch too much perversity to one of our favourite authors. (shrink)

As artefacts, the worlds of digital games are designed and developed to fulfil certain expressive, functional, and experiential objectives. During play, players infer these purposes and aspirations from various aspects of their engagement with the gameworld. Influenced by their sociocultural backgrounds, sensitivities, gameplay preferences, and familiarity with game conventions, players construct a subjective interpretation of the intentions with which they believe the digital game in question was created. By analogy with the narratological notion of the implied author, we call the (...) figure to which players ascribe these intentions ‘the implied designer’. In this article, we introduce the notion of the implied designer and present an initial account of how appreciators ascribe meaning to interactive, fictional gameworlds and act within them based on what they perceive to be the designer’s intentions. (shrink)

Galileo proposed what has been called a proto-inertial principle, according to which a body un horizontal motion will conserve its motion. This statement is only true in counterfactual circumstances where no impediments are present. This paper analyzes how Galileo could have been justified in ascribing definite properties to this idealized motion. This analysis is then used to better understand the relation of Galileo’s proto-inertial principle to the classical inertial principle.

In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: instead of committing ourselves to utilitarian theories, we prove the logic TDS sound and complete with respect to relational frames not employing any utilitarian function. We demonstrate how these neutral frames can be transformed into utilitarian temporal frames, while preserving (...) validity. Last, we discuss problems that arise from employing binary utility functions in a temporal setting. (shrink)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

Here we present an experimental model to be applied to the storage and retrieval of information based on an associative information system’s sensory and motor state change data, aiming to represent the dynamics of a dynamic perceptual system. The model and database implementation use a universal information storage structure holding both data and metadata within the same structure. This model is characterized by the emphasis on associative information about the represented system derived from raw data, which are in their turn (...) produced by the associative system’s interactions with the environment. Instead of defining objects using descriptive relations, this model stores relations between occurents where the represented system is not replicated in its various components, but defined by its relations when they occur. This model therefore represents the dynamics and interaction of systems such as human perception, rather than imposing artificial boundaries and qualities. In essence, the model is an alternative to perceptual knowledge accumulation, which, as we show, can be applied to a database design. (shrink)

This paper uses classical logic for a simultaneous description of the syntax and semantics of a fragment of English and it is argued that such an approach to natural language allows procedural aspects of linguistic theory to get a purely declarative formulation. In particular, it will be shown how certain construction rules in Discourse Representation Theory, such as the rule that indefinites create new discourse referents and definites pick up an existing referent, can be formulated declaratively if logic is used (...) as a metalanguage for English. In this case the declarative aspects of a rule are highlighted when we focus on the model theory of the description language while a procedural perspective is obtained when its proof theory is concentrated on. Themes of interest are Discourse Representation Theory, resolution of anaphora, resolution of presuppositions, and underspecification. (shrink)

Although Kant (1998) envisaged a prominent role for logic in the argumentative structure of his Critique of Pure Reason, logicians and philosophers have generally judged Kantgeneralformaltranscendental logics is a logic in the strict formal sense, albeit with a semantics and a definition of validity that are vastly more complex than that of first-order logic. The main technical application of the formalism developed here is a formal proof that Kants logic is after all a distinguished subsystem of first-order logic, namely what (...) is known as geometric logic. (shrink)

St. Thomas’s Third Way to prove the existence of God, “Of Possibility and Necessity” (ST 1, q.2, art. 3, response) is one of the most controverted passages in the entire Thomistic corpus. The central point of dispute is that if there were only possible beings, each at some time would cease to exist and, therefore, at some point in time nothing would exist, and because something cannot come from nothing, in such an eventuality, nothing would exist now—a reductio ad absurdum (...) conclusion. Therefore, at least one necessary being must exist. Generations of critics and defenders have contended over St. Thomas’s proof. This article argues that the principle of pros hen analogy is implicit in the Third Way and that once identified explains the ontological dependency of possible beings, as secondary analogates, on the first necessary being, as primary analogate. Thus, without the necessary being as primary analogate, possible beings simply could not exist. The fact that they do exist is evidence for the existence of the necessary being. St. Thomas makes synthesizes the principle of pros hen analogy, as found in Aristotle’s Metaphysics, with the Neoplatonic principle of participation. Aristotle develops pros hen analogy in contradistinction to univocal and equivocal predication as well as to genus in Metaphysics 4.2, 11.3, 12.3-5. Since Scotus and re-enforced by modern analytic logic, philosophers have almost universally regarded any kind of analogical predication as a sub-category of equivocal predication and, thus, implicitly occlude the possibility of considering pros hen analogy in their readings of the Third Way. Distinction of per se and per accidens infinite regress and of radical and natural contingency are also central to understanding the Third Way. While resolving apparent problems in the Third Way, the article also seeks to rehabilitate the doctrine of pros hen analogy as a basic principle in Thomistic and, indeed, Aristotelian metaphysics. (shrink)

STIT logic is a prominent framework for the analysis of multi-agent choice-making. In the available deontic extensions of STIT, the principle of Ought-implies-Can (OiC) fulfills a central role. However, in the philosophical literature a variety of alternative OiC interpretations have been proposed and discussed. This paper provides a modular framework for deontic STIT that accounts for a multitude of OiC readings. In particular, we discuss, compare, and formalize ten such readings. We provide sound and complete sequent-style calculi for all of (...) the various STIT logics accommodating these OiC principles. We formally analyze the resulting logics and discuss how the different OiC principles are logically related. In particular, we propose an endorsement principle describing which OiC readings logically commit one to other OiC readings. (shrink)